* doc/misc/nxml-mode.texi (Introduction): Update @url.
authorGlenn Morris <rgm@gnu.org>
Thu, 4 Jul 2013 01:53:56 +0000 (18:53 -0700)
committerGlenn Morris <rgm@gnu.org>
Thu, 4 Jul 2013 01:53:56 +0000 (18:53 -0700)
commitc7d2e6c89da9e89780483d9b2a39aee7f1f298c7
treebfdece3723ec2b4c360e886bb4954fe71e9e752c
parentb67a19c2e9dc128c68b3a7b6b7c8a2a5da671d31
* doc/misc/nxml-mode.texi (Introduction): Update @url.
doc/misc/ChangeLog
doc/misc/nxml-mode.texi